e76febc4bbad2df062adc91ae62e0d645d0b542c,FstPlugin/src/org/workcraft/plugins/fst/task/StgToFstConversionResultHandler.java,StgToFstConversionResultHandler,finished,#Result#String#,43

In pattern: SUPERPATTERN

Frequency: 6

Non-data size: 3


Instances


1486033854
danilovesky@gmail.com
tuura/workcraft,e76febc4bbad2df062adc91ae62e0d645d0b542c,FstPlugin/src/org/workcraft/plugins/fst/task/StgToFstConversionResultHandler.java,StgToFstConversionResultHandler,finished,#Result#String#,43


1486033854
danilovesky@gmail.com
tuura/workcraft,e76febc4bbad2df062adc91ae62e0d645d0b542c,FstPlugin/src/org/workcraft/plugins/fst/task/PetriToFsmConversionResultHandler.java,PetriToFsmConversionResultHandler,finished,#Result#String#,35


1486033854
danilovesky@gmail.com
tuura/workcraft,e76febc4bbad2df062adc91ae62e0d645d0b542c,DfsPlugin/src/org/workcraft/plugins/dfs/tasks/CheckDataflowDeadlockTask.java,CheckDataflowDeadlockTask,run,#ProgressMonitor#,44


1486033854
danilovesky@gmail.com
tuura/workcraft,e76febc4bbad2df062adc91ae62e0d645d0b542c,MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat/MpsatCscConflictResolutionResultHandler.java,MpsatCscConflictResolutionResultHandler,run,#,46


1486033854
danilovesky@gmail.com
tuura/workcraft,e76febc4bbad2df062adc91ae62e0d645d0b542c,PolicyPlugin/src/org/workcraft/plugins/policy/tasks/CheckDeadlockTask.java,CheckDeadlockTask,run,#ProgressMonitor#,43


1486033854
danilovesky@gmail.com
tuura/workcraft,e76febc4bbad2df062adc91ae62e0d645d0b542c,PetrifyExtraPlugin/src/org/workcraft/plugins/petrify/AstgExporter.java,AstgExporter,export,#Model#OutputStream#,36